Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
161	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:06:46 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming
162	Gregory Gelfond Department of Computer Science Texas Tech University Lubbock, TXPhone: 408–506–1991 Email: Add to Reading List Source URL: myweb.ttu.edu Language: English Computer programming Logic programming Prolog Stable model semantics Programming language Declarative programming Knowledge representation and reasoning Software engineering Programming paradigms Computing
163	MSFPIdioms are oblivious, arrows are meticulous, monads are promiscuous Sam Lindley, Philip Wadler and Jeremy Yallop Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-26 12:31:23 Functional programming Software engineering Logic in computer science Combinatory logic Arrow Monad Curry–Howard correspondence Natural deduction Declarative programming Theoretical computer science Lambda calculus
164	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
165	Languages and metamodels for modelling frameworks Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 18:07:29 Computer programming Scientific modeling Modeling language Programming language Scientific modelling Domain-specific language Abstraction Extensible programming Declarative programming Software engineering Computing Programming paradigms
166	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
167	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
168	Constraint Programming and Combinatorial Optimisation in Numberjack Emmanuel Hebrard1,2 , Eoin O’Mahony1 , and Barry O’Sullivan1 1 Cork Constraint Computation Centre Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Applied mathematics Numerical analysis Numerical software Declarative programming SCIP Mathematical optimization Linear programming Constraint satisfaction Operations research Constraint programming Software engineering
169	3 Symbolic Aspects of Knowledge Representation 4CAPS is a hybrid architecture, encompassing both symbolic and connectionist processing styles. This chapter describes the symbolic aspects of 4CAPS knowledge representation Add to Reading List Source URL: www.ccbi.cmu.edu Language: English - Date: 2006-08-11 10:57:17 Programming paradigms C++ Declarative memory C++ classes Knowledge representation and reasoning Declarative programming ACT-R New Declarative Computing Software engineering Computer programming
170	λ ICFPEdinburgh, Scotland Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-03-25 12:07:18 Computing International Conference on Functional Programming SIGPLAN Haskell Generic programming Philip Wadler Declarative programming Software engineering Functional programming

UPDATE